SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1

Source URL: www.lsi.upc.edu

• Logic
• Mathematical logic
• Mathematics
• Predicate logic
• Propositional calculus
• Semantics
• Philosophical logic
• Satisfiability modulo theories
• Predicate
• Literal
• Well-formed formula
• Model checking

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate

Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic

Source URL: pub.ist.ac.at

• Mathematical logic
• Predicate logic
• Mathematics
• Logic
• Predicate variable
• Scope
• Atomic sentence
• FO
• First-order logic
• Variable
• Structured text
• Assignment

SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri? , Robert Nieuwenhuis?? , and Albert Oliveras?? Abstract. Predicate abstraction is a technique for automatically extracting finite-state abstractions for s

Source URL: www.lsi.upc.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Formal methods
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Boolean algebra
• Satisfiability modulo theories
• Boolean satisfiability problem
• 120-cell
• Predicate

Predicate Abstraction for Relaxed Memory Models Andrei Dan Martin Vechev

Source URL: practicalsynthesis.github.io

• Logic
• Mathematical logic
• Linguistics
• Dekker's algorithm
• Edsger W. Dijkstra
• Predicate
• Flag

QAPLGame-Based Probabilistic Predicate Abstraction in PRISM 1

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Temporal logic
• Generalized functions
• Mathematics
• Distribution
• Functional analysis
• Computation tree logic

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

Source URL: practicalsynthesis.github.io

• Mathematical logic
• Logic
• Predicate logic
• Mathematics
• Predicate
• FO
• Atomic sentence
• Primitive recursive function
• Syntactic predicate

Enhancing Predicate Pairing with Abstraction for Relational Verifcation E. De Angelis1, F. Fioravanti1, 2 3 A. Pettorossi , and M. Proietti

Source URL: www.sci.unich.it

Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

Source URL: i12www.iti.kit.edu

Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs Alastair Donaldson, Alexander Kaiser, Daniel Kroening, and Thomas Wahl Computer Science Department, Oxford University, United Kingdom Abstrac

Source URL: www.doc.ic.ac.uk